A MARIOTTE-BASED VERIFICATION SYSTEM FOR HEAT-BASED SAP FLOW SENSORS

Interpreting velocities from heat-based flow sensors by numerical simulation.

We have carried out numerical simulations of three-dimensional nonisothermal flow around an in situ heat-based flow sensor to investigate how formation heterogeneities can affect the interpretation of ground water flow velocities from this instrument. The flow sensor operates by constant heating of a 0.75-m-long, 5-cm-diameter cylindrical probe, which contains 30 thermistors in contact with the...

Runtime verification of programs using rule-based active system

application of upfc based on svpwm for power quality improvement

در سالهای اخیر،اختلالات کیفیت توان مهمترین موضوع می باشد که محققان زیادی را برای پیدا کردن راه حلی برای حل آن علاقه مند ساخته است.امروزه کیفیت توان در سیستم قدرت برای مراکز صنعتی،تجاری وکاربردهای بیمارستانی مسئله مهمی می باشد.مشکل ولتاژمثل شرایط افت ولتاژواضافه جریان ناشی از اتصال کوتاه مدار یا وقوع خطا در سیستم بیشتر مورد توجه می باشد. برای مطالعه افت ولتاژ واضافه جریان،محققان زیادی کار کرده ...

A rule based system for speech verification

A rule based system for speech verification is proposed as a feedback mechanism for speech recognition. The system provides an explicit way ofselecting verification parameters depending on the item to be recognized and its context. An extended continuous logic is used to combine the evidence from different parameters and an automatic way to convert parameter values to logic evidence values is g...

a new type-ii fuzzy logic based controller for non-linear dynamical systems with application to 3-psp parallel robot

abstract type-ii fuzzy logic has shown its superiority over traditional fuzzy logic when dealing with uncertainty. type-ii fuzzy logic controllers are however newer and more promising approaches that have been recently applied to various fields due to their significant contribution especially when the noise (as an important instance of uncertainty) emerges. during the design of type- i fuz...